Which data types have omega-complete initial algebra specifications?

机译：哪些数据类型具有欧米茄完整的初始代数规范？

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bergstra, J.A.; Heering, J.;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种 und
中图分类

相似文献

外文文献
中文文献
专利

1. Algebraic Specification for Input-Output in Abstract Data Types [J] . Patricia Peratto Mathematics and Computer Science . 2021,第2期

机译：用于抽象数据类型的输入输出的代数规范
2. A Tool for Testing Data Type Implementations from Maude Algebraic Specifications [J] . Isabel Pita, Adrián Riesco Electronic Notes in Theoretical Computer Science . 2012,第12期

机译：根据Maude代数规范测试数据类型实现的工具
3. An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications [J] . Rafael del Vado Ví?rseda, Fernando Pérez Morente Procedia Computer Science . 2012,第1期

机译：从形式代数规范验证抽象数据类型实现的创新教学工具
4. Algebraic specification of abstract data type and transition graphs: formal techniques for object-oriented analysis, specification and design [C] . Guetari, R., Haurat, . 1995

机译：抽象数据类型和过渡图的代数规范：面向对象分析，规范和设计的形式技术
5. Protocol specification and validation using abstract data types and finite state machines. [D] . Graff, Charles Joseph. 1996

机译：使用抽象数据类型和有限状态机进行协议规范和验证。
6. The tissue microarray data exchange specification: A document type definition to validate and enhance XML data [O] . David G Nohle, Leona W Ayers 2005

机译：组织微阵列数据交换规范：用于验证和增强XML数据的文档类型定义
7. Which data types have ω-complete initial algebra specifications? [O] . Bergstra J.A., Heering J. 1994

机译：哪些数据类型具有ω-完全初始代数规范？
8. Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems [R] . Bergstra, J. A., Tucker, J. V. 1980

机译：数据类型规范的初始和最终代数语义：两个表征定理

Which data types have omega-complete initial algebra specifications?

著录项

引文网络

相似文献

相关主题

期刊订阅